Revision 1137, this morning 11:20, everything worked: ==================================================== mkInfiniteTree postcondition valid Unifier dumbInsert postcondition valid Unifier insert postcondition valid Unifier createRoot postcondition valid Unifier dumbInsertWithOrder postcondition valid Unifier ==================================================== Revision 1147, this evening 19:32, already broken: ==================================================== mkInfiniteTree postcondition valid Unifier dumbInsert postcondition unknown --- insert postcondition unknown --- createRoot postcondition valid Unifier dumbInsertWithOrder postcondition unknown --- ==================================================== Revision 1157, now, better again ================================================== createRoot postcondition valid Unifier dumbInsert postcondition valid Unifier mkInfiniteTree postcondition valid Unifier dumbInsertWithOrder postcondition valid Unifier insert postcondition <BAPA seems to hang on conjunction 11> ================================================== Okay, we're getting there..
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| error | ||
| invalid | ||
| valid | ||
| InfiniteLoop.scala | ||
| README | ||
| unifier_valid.scala | ||