| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gdc.test/fail_compilation/ |
| H A D | fail6453.d | 12 invariant() {} in invariant() function
13 shared invariant() {} in invariant() function
17 invariant() {} in invariant() function
18 synchronized invariant() {} in invariant() function
22 shared invariant() {} in invariant() function
23 synchronized invariant() {} in invariant() function
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gdc.test/fail_compilation/ |
| H A D | fail6453.d | 12 invariant() {} in invariant() function
13 shared invariant() {} in invariant() function
17 invariant() {} in invariant() function
18 synchronized invariant() {} in invariant() function
22 shared invariant() {} in invariant() function
23 synchronized invariant() {} in invariant() function
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gdc.test/fail_compilation/ |
| H A D | fail6453.d | 12 invariant() {} in invariant() function
13 shared invariant() {} in invariant() function
17 invariant() {} in invariant() function
18 synchronized invariant() {} in invariant() function
22 shared invariant() {} in invariant() function
23 synchronized invariant() {} in invariant() function
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gdc.test/fail_compilation/ |
| H A D | fail6453.d | 12 invariant() {} in invariant() function
13 shared invariant() {} in invariant() function
17 invariant() {} in invariant() function
18 synchronized invariant() {} in invariant() function
22 shared invariant() {} in invariant() function
23 synchronized invariant() {} in invariant() function
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gdc.test/fail_compilation/ |
| H A D | fail6453.d | 12 invariant() {} in invariant() function
13 shared invariant() {} in invariant() function
17 invariant() {} in invariant() function
18 synchronized invariant() {} in invariant() function
22 shared invariant() {} in invariant() function
23 synchronized invariant() {} in invariant() function
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gdc.test/fail_compilation/ |
| H A D | fail6453.d | 12 invariant() {} in invariant() function
13 shared invariant() {} in invariant() function
17 invariant() {} in invariant() function
18 synchronized invariant() {} in invariant() function
22 shared invariant() {} in invariant() function
23 synchronized invariant() {} in invariant() function
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gdc.test/fail_compilation/ |
| H A D | fail6453.d | 12 invariant() {} in invariant() function
13 shared invariant() {} in invariant() function
17 invariant() {} in invariant() function
18 synchronized invariant() {} in invariant() function
22 shared invariant() {} in invariant() function
23 synchronized invariant() {} in invariant() function
|
| /dports/net-p2p/go-ethereum/aws-sdk-go-v2-credentials-v1.1.1/service/directconnect/ |
| H A D | endpoints.go | 12 "github.com/aws/smithy-go/middleware"
13 smithyhttp "github.com/aws/smithy-go/transport/http"
17 // EndpointResolverOptions is the service endpoint resolver options
18 type EndpointResolverOptions = internalendpoints.Options
22 ResolveEndpoint(region string, options EndpointResolverOptions) (aws.Endpoint, error)
25 var _ EndpointResolver = &internalendpoints.Resolver{}
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gdc.test/fail_compilation/ |
| H A D | fail6453.d | 12 invariant() {} in invariant() function
13 shared invariant() {} in invariant() function
17 invariant() {} in invariant() function
18 synchronized invariant() {} in invariant() function
22 shared invariant() {} in invariant() function
23 synchronized invariant() {} in invariant() function
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gdc.test/fail_compilation/ |
| H A D | fail6453.d | 12 invariant() {} in invariant() function
13 shared invariant() {} in invariant() function
17 invariant() {} in invariant() function
18 synchronized invariant() {} in invariant() function
22 shared invariant() {} in invariant() function
23 synchronized invariant() {} in invariant() function
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gdc.test/runnable/ |
| H A D | testinvariant.d | 9 invariant() in invariant() function
46 invariant() { called += 1; } in test6453() function
47 invariant() { called += 4; } in test6453() function
48 invariant() { called += 16; } in test6453() function
66 invariant() in test6453() function
73 invariant() in test6453() function
80 invariant() in test6453() function
97 pure shared invariant() {} in test6453() function
98 nothrow shared invariant() {} in test6453() function
99 @safe shared invariant() {} in test6453() function
[all …]
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gdc.test/runnable/ |
| H A D | testinvariant.d | 9 invariant() in invariant() function
46 invariant() { called += 1; } in test6453() function
47 invariant() { called += 4; } in test6453() function
48 invariant() { called += 16; } in test6453() function
66 invariant() in test6453() function
73 invariant() in test6453() function
80 invariant() in test6453() function
97 pure shared invariant() {} in test6453() function
98 nothrow shared invariant() {} in test6453() function
99 @safe shared invariant() {} in test6453() function
[all …]
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gdc.test/runnable/ |
| H A D | testinvariant.d | 9 invariant() in invariant() function
46 invariant() { called += 1; } in test6453() function
47 invariant() { called += 4; } in test6453() function
48 invariant() { called += 16; } in test6453() function
66 invariant() in test6453() function
73 invariant() in test6453() function
80 invariant() in test6453() function
97 pure shared invariant() {} in test6453() function
98 nothrow shared invariant() {} in test6453() function
99 @safe shared invariant() {} in test6453() function
[all …]
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gdc.test/runnable/ |
| H A D | testinvariant.d | 9 invariant() in invariant() function
46 invariant() { called += 1; } in test6453() function
47 invariant() { called += 4; } in test6453() function
48 invariant() { called += 16; } in test6453() function
66 invariant() in test6453() function
73 invariant() in test6453() function
80 invariant() in test6453() function
97 pure shared invariant() {} in test6453() function
98 nothrow shared invariant() {} in test6453() function
99 @safe shared invariant() {} in test6453() function
[all …]
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gdc.test/runnable/ |
| H A D | testinvariant.d | 9 invariant() in invariant() function
46 invariant() { called += 1; } in test6453() function
47 invariant() { called += 4; } in test6453() function
48 invariant() { called += 16; } in test6453() function
66 invariant() in test6453() function
73 invariant() in test6453() function
80 invariant() in test6453() function
97 pure shared invariant() {} in test6453() function
98 nothrow shared invariant() {} in test6453() function
99 @safe shared invariant() {} in test6453() function
[all …]
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gdc.test/runnable/ |
| H A D | testinvariant.d | 9 invariant() in invariant() function
46 invariant() { called += 1; } in test6453() function
47 invariant() { called += 4; } in test6453() function
48 invariant() { called += 16; } in test6453() function
66 invariant() in test6453() function
73 invariant() in test6453() function
80 invariant() in test6453() function
97 pure shared invariant() {} in test6453() function
98 nothrow shared invariant() {} in test6453() function
99 @safe shared invariant() {} in test6453() function
[all …]
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gdc.test/runnable/ |
| H A D | testinvariant.d | 9 invariant() in invariant() function
46 invariant() { called += 1; } in test6453() function
47 invariant() { called += 4; } in test6453() function
48 invariant() { called += 16; } in test6453() function
66 invariant() in test6453() function
73 invariant() in test6453() function
80 invariant() in test6453() function
97 pure shared invariant() {} in test6453() function
98 nothrow shared invariant() {} in test6453() function
99 @safe shared invariant() {} in test6453() function
[all …]
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gdc.test/runnable/ |
| H A D | testinvariant.d | 9 invariant() in invariant() function
46 invariant() { called += 1; } in test6453() function
47 invariant() { called += 4; } in test6453() function
48 invariant() { called += 16; } in test6453() function
66 invariant() in test6453() function
73 invariant() in test6453() function
80 invariant() in test6453() function
97 pure shared invariant() {} in test6453() function
98 nothrow shared invariant() {} in test6453() function
99 @safe shared invariant() {} in test6453() function
[all …]
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gdc.test/runnable/ |
| H A D | testinvariant.d | 9 invariant() in invariant() function
46 invariant() { called += 1; } in test6453() function
47 invariant() { called += 4; } in test6453() function
48 invariant() { called += 16; } in test6453() function
66 invariant() in test6453() function
73 invariant() in test6453() function
80 invariant() in test6453() function
97 pure shared invariant() {} in test6453() function
98 nothrow shared invariant() {} in test6453() function
99 @safe shared invariant() {} in test6453() function
[all …]
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gdc.test/runnable/ |
| H A D | testinvariant.d | 9 invariant() in invariant() function
46 invariant() { called += 1; } in test6453() function
47 invariant() { called += 4; } in test6453() function
48 invariant() { called += 16; } in test6453() function
66 invariant() in test6453() function
73 invariant() in test6453() function
80 invariant() in test6453() function
97 pure shared invariant() {} in test6453() function
98 nothrow shared invariant() {} in test6453() function
99 @safe shared invariant() {} in test6453() function
[all …]
|
| /dports/devel/boost-docs/boost_1_72_0/libs/contract/test/public_function/ |
| H A D | virtual_sparse.cpp | 22 void invariant() const { out << "j::inv" << std::endl; } in invariant() function
39 void invariant() const { out << "i::inv" << std::endl; } in invariant() function
64 void invariant() const { out << "h::inv" << std::endl; } in invariant() function
89 void invariant() const { out << "e::inv" << std::endl; } in invariant() function
114 void invariant() const { out << "d::inv" << std::endl; } in invariant() function
119 void invariant() const { out << "c::inv" << std::endl; } in invariant() function
142 void invariant() const { out << "b::inv" << std::endl; } in invariant() function
158 void invariant() const { out << "a::inv" << std::endl; } in invariant() function
|
| /dports/devel/boost-libs/boost_1_72_0/libs/contract/test/public_function/ |
| H A D | virtual_sparse.cpp | 22 void invariant() const { out << "j::inv" << std::endl; } in invariant() function
39 void invariant() const { out << "i::inv" << std::endl; } in invariant() function
64 void invariant() const { out << "h::inv" << std::endl; } in invariant() function
89 void invariant() const { out << "e::inv" << std::endl; } in invariant() function
114 void invariant() const { out << "d::inv" << std::endl; } in invariant() function
119 void invariant() const { out << "c::inv" << std::endl; } in invariant() function
142 void invariant() const { out << "b::inv" << std::endl; } in invariant() function
158 void invariant() const { out << "a::inv" << std::endl; } in invariant() function
|
| /dports/devel/boost-python-libs/boost_1_72_0/libs/contract/test/public_function/ |
| H A D | virtual_sparse.cpp | 22 void invariant() const { out << "j::inv" << std::endl; } in invariant() function
39 void invariant() const { out << "i::inv" << std::endl; } in invariant() function
64 void invariant() const { out << "h::inv" << std::endl; } in invariant() function
89 void invariant() const { out << "e::inv" << std::endl; } in invariant() function
114 void invariant() const { out << "d::inv" << std::endl; } in invariant() function
119 void invariant() const { out << "c::inv" << std::endl; } in invariant() function
142 void invariant() const { out << "b::inv" << std::endl; } in invariant() function
158 void invariant() const { out << "a::inv" << std::endl; } in invariant() function
|
| /dports/devel/hyperscan/boost_1_75_0/libs/contract/test/public_function/ |
| H A D | virtual_sparse.cpp | 22 void invariant() const { out << "j::inv" << std::endl; } in invariant() function
39 void invariant() const { out << "i::inv" << std::endl; } in invariant() function
64 void invariant() const { out << "h::inv" << std::endl; } in invariant() function
89 void invariant() const { out << "e::inv" << std::endl; } in invariant() function
114 void invariant() const { out << "d::inv" << std::endl; } in invariant() function
119 void invariant() const { out << "c::inv" << std::endl; } in invariant() function
142 void invariant() const { out << "b::inv" << std::endl; } in invariant() function
158 void invariant() const { out << "a::inv" << std::endl; } in invariant() function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/WeakestPreconditions/ |
| H A D | Sum.hs | 138 -- >>> let invariant SumS{n, i, s} = s .== (i*(i+1)) `sDiv` 2 .&& i .<= n function
162 >>> let invariant _ = sFalse function
178 >>> let invariant _ = sTrue function
202 >>> let invariant SumS{n, i, s} = s .<= i .&& s .== (i*(i+1)) `sDiv` 2 .&& i .<= n function
218 >>> let invariant SumS{n, i, s} = s .== (i*(i+1)) `sDiv` 2 .&& i .<= n function
233 >>> let invariant SumS{n, i, s} = s .== (i*(i+1)) `sDiv` 2 .&& i .<= n function
|