lix/tests/lang/eval-okay-context-introspection.exp at 5bb6e3bfafbcd101962b39ce579ee56d670cd83a - moraxyc/lix - Lix Systems

moraxyc/lix

forked from lix-project/lix

John Ericson 88d8f6ac48 Expand tests to reproduce #7655

The original `builtins.getContext` test from
1d757292d0 would have caught this. The
problem is that b30be6b450 adding
`builtins.appendContext` modified that test to make it test too much at
once, rather than adding a separate test.

We now have isolated tests for both functions, and also a property test
showing everything put together (in the form of an eta rule for strings
with context). This is better coverage and properly reproduces the bug.

2023-01-21 23:50:09 -05:00

1 line

34 B

Text

Raw Blame History

[ true true true true true true ]