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