| /*# | |
| * Copyright 2018, Data61, CSRIO (ABN 41 687 119 230) | |
| * | |
| * SPDX-License-Identifier: BSD-2-Clause | |
| #*/ | |
| (* /*? macros.generated_file_notice() ?*/ *) | |
| session "/*? options.verification_base_name ?*/" = CamkesCdlRefine + | |
| theories [quick_and_dirty] | |
| "/*? options.verification_base_name ?*/_CDL" | |
| "/*? options.verification_base_name ?*/_Arch_Spec" | |
| "/*? options.verification_base_name ?*/_CDL_Refine" |