diff options
| author | Alasdair | 2018-07-05 20:57:44 +0100 |
|---|---|---|
| committer | Alasdair | 2018-07-05 21:02:08 +0100 |
| commit | f62edee6988476ed8ba78424c870461ac8d44256 (patch) | |
| tree | b38cfadc19babf0739f27cb468a72f39f3e0c3ab /lib/coq/Sail2_values.v | |
| parent | 9a0cbbedbe281807f70bf2206756624315096642 (diff) | |
Fix equality comparisons for structs
Add a test case in test/c/eq_struct.sail. Ensure that the macro EQUAL(type) will always give a valid equality function for any
builtin type in sail.h.
Diffstat (limited to 'lib/coq/Sail2_values.v')
0 files changed, 0 insertions, 0 deletions