(t *testing.T)
| 1240 | } |
| 1241 | |
| 1242 | func TestNewVariable(t *testing.T) { |
| 1243 | a := NewVariable("a", types.BoolType) |
| 1244 | if !a.DeclarationIsEquivalent(a) { |
| 1245 | t.Error("NewVariable(a, bool) does not equal itself") |
| 1246 | } |
| 1247 | if !a.DeclarationIsEquivalent(NewVariable("a", types.BoolType)) { |
| 1248 | t.Error("NewVariable(a, bool) does not equal itself") |
| 1249 | } |
| 1250 | a1 := NewVariable("a", types.IntType) |
| 1251 | if a.DeclarationIsEquivalent(a1) { |
| 1252 | t.Error("NewVariable(a, int).DeclarationEquals(NewVariable(a, bool))") |
| 1253 | } |
| 1254 | } |
| 1255 | |
| 1256 | func TestNewConstant(t *testing.T) { |
| 1257 | a := NewConstant("a", types.IntType, types.Int(42)) |
nothing calls this directly
no test coverage detected