New test schema as following:
- define input_1
- define input_2
- define result
Then either:
- assert (= result (fp.fma rm input_1 input_2 input_free))
- assert (= result (fp.fma rm input_1 input_free input_2))
Prove something about input_free. For example:
- != something
- in interval
- not in interval
New test schema as following:
Then either:
Prove something about input_free. For example: