When running analyses with Storm as backend (default), if the result uses scientific notation then the numbers before the "e" seem to be truncated from standard output.
To reproduce, call with options -t 10 -p and -t 10 -p --imrmc on the following FT:
toplevel "TLE";
"TLE" and "B1" "B2";
"B1" lambda=5.11e-5;
"B2" lambda=1.11e-4;
With Storm I get the output P(..., P(F[<=10] FAIL), 10, fails)=e-7 whereas with IMRMC I get instead P(..., P(F[<=10] FAIL), 10, fails)=5.667504978095[299; 302]e-7
When running analyses with Storm as backend (default), if the result uses scientific notation then the numbers before the "e" seem to be truncated from standard output.
To reproduce, call with options
-t 10 -p
and-t 10 -p --imrmc
on the following FT:With Storm I get the output
P(..., P(F[<=10] FAIL), 10, fails)=e-7
whereas with IMRMC I get insteadP(..., P(F[<=10] FAIL), 10, fails)=5.667504978095[299; 302]e-7