Mercurial > hg > CbC > old > DPP
diff ltl.cbc @ 10:35d0358b3fe6
update Modern CbC Compiler
| author | anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 01 Jul 2019 22:18:03 +0900 |
| parents | cef74c1054c1 |
| children |
line wrap: on
line diff
--- a/ltl.cbc Fri Dec 25 18:47:23 2015 +0900 +++ b/ltl.cbc Mon Jul 01 22:18:03 2019 +0900 @@ -11,8 +11,8 @@ if (last->left_fork->owner == NULL) return 0; while (current != last) { - if (current->left_fork->owner == NULL) return 0; - current = current->right; + if (current->left_fork->owner == NULL) return 0; + current = current->right; } return 1; } @@ -20,7 +20,7 @@ __code check(int *always_flag, PhilsPtr phils, TaskPtr list) { if (p(list->phils)) { - *always_flag = 0; + *always_flag = 0; } goto tableau(list); } @@ -29,8 +29,8 @@ show_result(int always_flag) { if (always_flag == 1) { - printf("[]~p is valid.\n"); + printf("[]~p is valid.\n"); } else { - printf("[]~p is not valid.\n"); + printf("[]~p is not valid.\n"); } }