maul-esel / ssharp

S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.

http://safetysharp.isse.de/wiki

MIT License

0 stars 1 forks source link

InvalidOperationException: "Branches not supported" encountered in SimulateProfileBased test #41

Open maul-esel opened 6 years ago

maul-esel commented 6 years ago

Bug

SimulateProfileBased > FewAgentsHighRedundancy (Coalition) test fails with InvalidOperationException: Branches in the resource flow are currently unsupported by the coalition-formation based reconfiguration algorithm.

Reproduce

Occurs with the following seeds:

[ ] 623937046 : Step 503
[ ] 642214531 : Step 844
[ ] 642743359 : Step 441
[ ] 663346000 : Step 298
[ ] 665106437 : Step 365
[ ] 671789890 : Step 737

Discovered on commit 0571153b1.