author | Walther Neuper <wneuper@ist.tugraz.at> |
Tue, 07 Feb 2017 08:57:42 +0100 | |
changeset 59316 | 3a60188d9cc3 |
child 59320 | 4549c6062b30 |
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@59316 | 7 |
cd ../../../ |
wneuper@59316 | 8 |
./bin/isabelle jedit -l Isac test/Tools/isac/Test_Isac.thy & |