| author | Walther Neuper <walther.neuper@jku.at> |
| Mon, 08 Mar 2021 08:42:05 +0100 | |
| changeset 60165 | 15aacd3ddb41 |
| parent 59553 | c917b7d6e9e2 |
| permissions | -rwxr-xr-x |
| wneuper@59316 | 1 |
# switches isac from coding-mode to test-mode: |
| wneuper@59316 | 2 |
# this makes additional functions in signatures visible for tests. |
| wneuper@59316 | 3 |
|
| wneuper@59316 | 4 |
cd src/Tools/isac |
| wneuper@59316 | 5 |
find . -type f -exec sed -i s/'--- ! aktivate for Test_Isac BEGIN ---\\\* )'/'--- ! aktivate for Test_Isac BEGIN ---\\\*)'/g {} \;
|
| wneuper@59316 | 6 |
find . -type f -exec sed -i s/'( \*\\--- ! aktivate for Test_Isac END ---'/'(\*\\--- ! aktivate for Test_Isac END ---'/g {} \;
|
| wneuper@59320 | 7 |
cd ../../../ # go back to ~~/. |
| wneuper@59320 | 8 |
|
| wneuper@59320 | 9 |
# immediately go to testing |
| wneuper@59499 | 10 |
#./bin/isabelle jedit -l Isac test/Tools/isac/Test_Some.thy & |
| wneuper@59553 | 11 |
#./bin/isabelle jedit -l Isac test/Tools/isac/Test_Isac.thy & |
| wneuper@59553 | 12 |
./bin/isabelle jedit -l Isac test/Tools/isac/Test_Isac_Short.thy & |