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

Potentially endless loop in distribution calculation #40

Closed maul-esel closed 6 years ago

maul-esel commented 6 years ago

Bug

As described in #32, restarting the distribution calculation whenever an agent is recruited (but CTF remains unchanged) may cause an endless loop.

Resolution

Prevent this by remembering previous distributions and not retrying them again.

maul-esel commented 6 years ago

Should be fixed by a4a3c510968.