Revision 6e3eb2355976c287ceb3235590fd29716bf5aaf0 authored by Peter Duchovni on 16 July 2021, 18:30:44 UTC, committed by Peter Duchovni on 16 July 2021, 18:30:44 UTC
Add more counterexample cases that cause phantom references to persist in descriptions of objects whose fields have distinct but isomorphic encodings
1 parent 71fd5ce
| File | Mode | Size |
|---|---|---|
| dune | -rw-r--r-- | 190 bytes |
| generators.ml | -rw-r--r-- | 25.5 KB |
| guarded_conv.ml | -rw-r--r-- | 7.8 KB |
| guarded_decode.ml | -rw-r--r-- | 4.7 KB |
| helpers.ml | -rw-r--r-- | 4.4 KB |
| int31_int32.ml | -rw-r--r-- | 3.7 KB |
| invalid_encoding.ml | -rw-r--r-- | 2.8 KB |
| mu.ml | -rw-r--r-- | 6.8 KB |
| randomized.ml | -rw-r--r-- | 3.3 KB |
| read_failure.ml | -rw-r--r-- | 11.5 KB |
| registrationed.ml | -rw-r--r-- | 2.6 KB |
| slice_test.ml | -rw-r--r-- | 8.2 KB |
| success.ml | -rw-r--r-- | 12.5 KB |
| test.ml | -rw-r--r-- | 2.4 KB |
| test_classifiers.ml | -rw-r--r-- | 4.2 KB |
| test_generated.ml | -rw-r--r-- | 7.4 KB |
| test_json_stream.ml | -rw-r--r-- | 8.1 KB |
| test_json_stream_sizes.ml | -rw-r--r-- | 4.2 KB |
| test_legacy_compatibility.ml | -rw-r--r-- | 4.2 KB |
| test_sub_string.ml | -rw-r--r-- | 3.2 KB |
| types.ml | -rw-r--r-- | 6.1 KB |
| versioned.ml | -rw-r--r-- | 10.6 KB |
| write_failure.ml | -rw-r--r-- | 4.6 KB |
Computing file changes ...
