Skip to Main Content
Table 5: 
S2match improves upon Smatch by reducing the extent of its non-determinacy.
determinacy error
avg. msv (Eq. 5)1 restart2 restarts4 restarts
Smatch 0.0011 1.3 e−3 1.0e−3 5.3e−4 
S2match 0.0005 9.0e−4 6.1e−4 2.1e−4 
 
relative change − 54.6% − 30.7% − 39.0% − 60.3% 
determinacy error
avg. msv (Eq. 5)1 restart2 restarts4 restarts
Smatch 0.0011 1.3 e−3 1.0e−3 5.3e−4 
S2match 0.0005 9.0e−4 6.1e−4 2.1e−4 
 
relative change − 54.6% − 30.7% − 39.0% − 60.3% 
Close Modal

or Create an Account

Close Modal
Close Modal