run_tests.sh
No OneTemporary
Actions

Subscribers

None

File Metadata

	#!/bin/bash

	git clone https://bitbucket.org/specmicp/specmicp
	cd specmicp
	cmake .
	make -j4
	ctest -j4