1<?xml version="1.0"?> 2<!-- 3 Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 4 5 SPDX-License-Identifier: BSD-2-Clause 6--> 7 8<!-- 9 10 Regression Specification File 11 12 See "misc/regression/tests.xml" for a description of the file 13 format. 14 15--> 16<testsuite cpu-timeout="600"> 17 18 <set depends="isabelle Lib"> 19 <test name="Sep_Algebra">../../isabelle/bin/isabelle build -v -d ../.. Sep_Algebra</test> 20 </set> 21 22</testsuite> 23