Skip to content

Commit

Permalink
Disable type_check_forms proptest
Browse files Browse the repository at this point in the history
  • Loading branch information
erszcz committed Sep 22, 2022
1 parent f0de975 commit 879b781
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions test/gradualizer_prop_SUITE.erl
Original file line number Diff line number Diff line change
Expand Up @@ -19,8 +19,8 @@ all() ->
refinable,
compatible,
type_check_expr,
type_check_expr_in,
type_check_forms
type_check_expr_in
%type_check_forms
].

prop_opts() ->
Expand Down

0 comments on commit 879b781

Please sign in to comment.