search

zenna / Spec.jl

MIT License
4 stars 0 forks source link

Add invariant checking #8

Open zenna opened 4 years ago

zenna commented 4 years ago

Could do this using posthook specialised to a particular type

struct FriendMatrix
   x::Matrix
end
@invariant x::FriendMatrix issymetric(x)