abcasm tests by tightspark #157

Closed
mgehre opened this Issue Nov 19, 2011 · 1 comment

Comments

Projects
None yet
2 participants
@mgehre
Member

mgehre commented Nov 19, 2011

Use tightspark to run the tamarin/test/acceptance/abcasm tests.
Those are already built by our make-tamarin script.

@aajanki

This comment has been minimized.

Show comment Hide comment
@aajanki

aajanki May 18, 2013

Contributor

abcasm tests are now run by the test runner script (that is by lightspark, not by tightspark) when using a recent Tamarin checkout.

Contributor

aajanki commented May 18, 2013

abcasm tests are now run by the test runner script (that is by lightspark, not by tightspark) when using a recent Tamarin checkout.

@aajanki aajanki closed this May 18, 2013

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment