Formulas of the shape <nil>\phi and [nil]\phi lead to crash.

[jgroote]

Issue migrated from trac ticket # 840

component: lps2pbes | priority: major | resolution: fixed

2011-08-30 11:18:52: @jgroote created the issue

---

The formula [nil]true is parsed by lps2pbes, but then
leads to undefined behaviour. The same most likely
applies to true.

This can either be resolved by excluding nil from the
syntax, or by using identies such as \phi=\phi
and [nil]\phi=\phi.

[jgroote]

2011-10-10 14:53:58: @jkeiren changed status from new to assigned

[jgroote]

2011-10-10 14:53:58: @jkeiren changed owner from J.W.Wesselink@tue.nl to wieger

[jgroote]

2011-10-18 16:21:59: @wiegerw changed status from assigned to closed

[jgroote]

2011-10-18 16:21:59: @wiegerw set resolution to fixed

[jgroote]

2011-10-18 16:21:59: @wiegerw commented

---

Added a check to the parser (revision 9764). Now when the user specifies a regular formula containing nil, a message will appear that nil is unsupported.

[jgroote]

2012-08-24 07:05:07:

[jgroote]

2012-08-24 07:05:07: commented

---

Milestone To be decided deleted