run_tests.sh
No OneTemporary
Actions

Subscribers

None

File Metadata

	#!/bin/bash

	git clone https://bitbucket.org/specmicp/specmicp
	cd specmicp
	mkdir build && cd build
	cmake ../
	make && ctest