-function bench_policy()
-{
- name="$FUNCNAME"
- skip_test "$name" && return
- prepare_res "$name-nitc-s.dat" "nitc-s" "nitc with --separate"
- run_compiler "nitc-s" ./nitc --separate
- prepare_res "$name-nitc-e.dat" "nitc-e" "nitc with --erasure"
- run_compiler "nitc-e" ./nitc --erasure
- prepare_res "$name-nitc-su.dat" "nitc-su" "nitc with --separate --no-check-covariance"
- run_compiler "nitc-su" ./nitc --separate --no-check-covariance
- prepare_res "$name-nitc-eu.dat" "nitc-eu" "nitc with --erasure --no-check-covariance --no-check-erasure-cast"
- run_compiler "nitc-eu" ./nitc --erasure --no-check-covariance --no-check-erasure-cast
- plot "$name.gnu"
-}
-bench_policy
-
-function bench_nullables()
-{
- name="$FUNCNAME"
- skip_test "$name" && return
- prepare_res "$name-nitc.dat" "nitc" "nitc no options"
- run_compiler "nitc" ./nitc --separate
- prepare_res "$name-nitc-ni.dat" "nitc-ni" "nitc --no-check-attr-isset"
- run_compiler "nitc" ./nitc --separate --no-check-attr-isset
- prepare_res "$name-nitc-nu.dat" "nitc-nu" "nitc --no-union-attribute"
- run_compiler "nitc" ./nitc --separate --no-union-attribute
- prepare_res "$name-nitc-nu-ni.dat" "nitc-nu-ni" "nitc --no-union-attribute --no-check-attr-isset"
- run_compiler "nitc" ./nitc --separate --no-union-attribute --no-check-attr-isset
- plot "$name.gnu"
-}
-bench_nullables
-