search

kiniry / Mobius

4 stars 8 forks source link

crashing prover should not pop up requestor about executable-ness #666

Open atiti opened 11 years ago

atiti commented 11 years ago

If the prover complains about PROVER_MAX_FNUR this fault occurs.

atiti commented 11 years ago

From: None (GH: None) Date: Tue Apr 27 14:34:16 2010

Milestone ESCJava2 2.0.9 release deleted