Commit 6ddc9911 authored by thomie's avatar thomie

Update submodule stm + random

Skip random tests when random is not built.
Skip stm tests when stm is not built.
parent 225afc4a
Subproject commit cfdfe6f09ad414fde5b855cc5f90207533413241
Subproject commit c72dd0a01ae6255bead2d4fad33f002bb5684030
Subproject commit 844f84c21f94282187f35a6684d3c3c9f32cf2df
Subproject commit 302aabc3799550b487a45f4c037b9ffbc0cfbc9a
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment