Commit 6c9576b6 authored by Ludovic Apvrille's avatar Ludovic Apvrille

Adding Z3 script

parent 5bb79a6f
set model ./../tmlcode/specz3.tmap
tml load $model
tml checksyntax
tml loadz3lib /opt/z3/bin/libz3.dylib:/opt/z3/bin/libz3java.dylib
tml z3opt
tml save-result ../tmlcode/z3result
tml save-result-tml-mapping ../tmlcode/z3result
SRCS = generated_src/main.c generated_src/AlarmActuator.c generated_src/PressureSensor.c generated_src/PressureController.c generated_src/AlarmManager.c generated_src/MainController.c generated_src/Timer__alarmTimer__AlarmManager.c
\ No newline at end of file
SRCS = generated_src/main.c generated_src/AlarmActuator.c generated_src/PressureSensor.c generated_src/PressureController.c generated_src/MainController.c generated_src/AlarmManager.c generated_src/Timer__alarmTimer__AlarmManager.c
\ No newline at end of file
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment