Commit 59cd86d2 authored by Benoit Barbot's avatar Benoit Barbot

improve test

parent 6a677577
Pipeline #1052 passed with stages
in 13 minutes and 54 seconds
################################################################################
########################## Cosmos ##########################
################################################################################
Actions: Generate
Temporary directory set to:tmp
Binary directory path set to:/Users/barbot/Documents/Cosmos/bin/
Start Parsing testdeterministic.grml
read model : formalism = http://formalisms.cosyverif.org/sptgd-net.fml
place i(0){
marking:0
read model : formalism = http://formalisms.cosyverif.org/sptgd-net.fml
transition ln{
id: 0
isTraced: 1
dist: DETERMINISTIC( exp(0.693147 ) , )
priority: 1
weight: 1
varDomain: {}
guard: 1
update:
}
#### Internal Memory Model of GSPN #######
colClasses{
}
transitionStruct{
transition ln{
id: 0
isTraced: 1
dist: DETERMINISTIC( exp(0.693147 ) , )
priority: 1
weight: 1
varDomain: {}
guard: 1
update:
}
}
placeStruct{
place i(0){
marking:0
}
inArcs{
}
outArcs{
(0)-- 1 --(0)
}
inhibArcs{
}
##########################################
Start Parsing
#use "../testTeamCity.ml";;
test_cosmos "TestWeight" "TestWeight.grml" "" "--loop 2.1 --max-run 10000" ["Throughput_D0", 0.043395909; "Throughput_D2", 0.43279409] ;;
test_cosmos "TestWeight2" "TestWeight2.gspn" "" "--loop '#19' --max-run 10000" ["Throughput_t1", 17.27; "Throughput_t0", 1.727] ;;
......
......@@ -9,14 +9,14 @@ let teamCity = ref true
let _ = if (Array.length Sys.argv) >1 then teamCity := false
let test_cosmosTeamCity testname model prop opt v =
let test_cosmosTeamCity testname model prop opt v =
try
printf "##teamcity[testStarted name='%s' captureStandardOutput='<true>']\n" testname;
flush stdout;
let result = exec_cosmos model prop opt true in
print_endline (print_readable result.haslResult v);
if check_result result.haslResult v
then
then
printf "##teamcity[testFinished name='%s' message='inside confidence interval']\n" testname
else (
printf "##teamcity[testFailed name='%s' message='outside confidence interval']\n" testname;
......@@ -35,7 +35,7 @@ let test_cosmos t m p o v =
let test_cosmos_gspn n v o =
test_cosmos n (n^".gspn") (n^".lha") o v
test_cosmos n (n^".gspn") (n^".lha") (o^addo) v
let test_cosmos_grml n v o =
test_cosmos n (n^".grml") (n^"lha.grml") o v
test_cosmos n (n^".grml") (n^"lha.grml") (o^addo) v
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