/src/test/resources/

• ../
• AnalogBlackBox.v
• BlackBoxTest.v
• VerilogVendingMachine.v