mc-imperial / spirv-control-flow

Formal modelling of SPIR-V control flow using Alloy
Apache License 2.0
2 stars 0 forks source link

Test runner #15

Closed Jack-Clark closed 2 years ago

Jack-Clark commented 2 years ago

This is for testing if fleshing is working correctly. It uses the Vulkan CTS as a source of asm files, converts the asm files to xml files, fleshes the xml files and then executes the resulting amber files. It is assumed that fleshing is correct if there are no amber errors.