diff options
| author | Björn Gustavsson <[email protected]> | 2017-11-25 08:50:47 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2017-11-27 10:20:18 +0100 |
| commit | 756fc181cf8835268bf9e3b963dcda294e0ff2a3 (patch) | |
| tree | ff2c0d5a6b5b84148832ef28f965423cfab2fd77 /scripts/build-docker-otp | |
| parent | 5b0ba5e5f09d65cb15d00f8e089f5d98c5734d1a (diff) | |
| download | otp-756fc181cf8835268bf9e3b963dcda294e0ff2a3.tar.gz otp-756fc181cf8835268bf9e3b963dcda294e0ff2a3.tar.bz2 otp-756fc181cf8835268bf9e3b963dcda294e0ff2a3.zip | |
Add test to cover a line in v3_kernel:opt_single_valued/3
The uncovered line was added in 6753bbcc3fdb0.
Diffstat (limited to 'scripts/build-docker-otp')
0 files changed, 0 insertions, 0 deletions