xcoding-to-test.sh
author Walther Neuper <walther.neuper@jku.at>
Mon, 08 Mar 2021 08:17:28 +0100
changeset 60163 002e3ecd3108
parent 59320 4549c6062b30
permissions -rwxr-xr-x
step 6.10: stop unsuccessful trials with combination of types on Outer_Syntax

note: test in Calculation.thy is outcommented
     1 # switches isac from coding-mode to test-mode:
     2 # this makes additional functions in signatures visible for tests.
     3 
     4 cd src/Tools/isac
     5 find . -type f -exec sed -i s/'--- ! aktivate for Test_Isac BEGIN ---\\\* )'/'--- ! aktivate for Test_Isac BEGIN ---\\\*)'/g {} \;
     6 find . -type f -exec sed -i s/'( \*\\--- ! aktivate for Test_Isac END ---'/'(\*\\--- ! aktivate for Test_Isac END ---'/g {} \;
     7 cd ../../../  # go back to ~~/.