Changeset 8a07213 for Jenkinsfile

Timestamp:
Jun 28, 2021, 3:37:48 PM (11 months ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr
Children:
d0da7ed
Parents:
1781e97
Message:

disjoint test now aborts to allow inspecting core dump

(No files)

Note: See TracChangeset for help on using the changeset viewer.