Opened 5 years ago

#1195 new enhancement

add Maxima test suite to buildbot

Reported by: rme Owned by: rme
Priority: normal Milestone:
Component: other Version: trunk
Keywords: Cc:

Description

In addition to ACL2, we should be running the Maxima test suite as part of the buildbot tests.

Change History (0)

Note: See TracTickets for help on using tickets.