Tests for the `eval_` family of primitives, plus `list_term`
Tests for the `eval_` family of primitives, plus `list_term`

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script