| # Copyright (c) 2021 Masashi Fujita. | |
| # SPDX-License-Identifier: MIT | |
| cmake_minimum_required (VERSION 3.20) | |
| include_guard (GLOBAL) | |
| define_property (GLOBAL PROPERTY MSVC_INSTALL_DIRECTORY | |
| BRIEF_DOCS "Holds the MSVC installation directory" | |
| FULL_DOCS "Holds the MSVC installation directory to cache the probing result") |
| nix-shell -p \ | |
| llvmPackages_11.libcxxStdenv \ | |
| llvmPackages_11.libcxx \ | |
| llvmPackages_11.libcxxabi \ | |
| llvmPackages_11.lld \ | |
| llvmPackages_11.lldClang |
| #r "nuget: BlackFox.VsWhere" | |
| open System.IO | |
| open BlackFox.VsWhere | |
| let findCL (includePrerelease: bool): Result<string, string> = | |
| let vcComponent = "Microsoft.VisualStudio.Component.VC.Tools.x86.x64" | |
| let versionTextPath = "VC/Auxiliary/Build/Microsoft.VCToolsVersion.default.txt" |
| /// @brief Helper function for using the `rapidcheck` under the `doctest`. | |
| #pragma once | |
| #include <doctest/doctest.h> | |
| #include <rapidcheck.h> | |
| #include <utility> | |
| namespace rc { | |
| template <typename Testable_> |
| cmake_minimum_required (VERSION 3.17) | |
| project (custom_build) | |
| function (build_foo_ var_) | |
| set (artifacts_) | |
| foreach (src_ IN LISTS ARGN) | |
| if (src_ MATCHES "\.fuga$") | |
| get_filename_component (base_ ${src_} NAME_WLE) |
| #r "paket: groupref Fake //" | |
| #load ".fake/build.fsx/intellisense.fsx" | |
| open Fake.Core | |
| open Fake.Core.TargetOperators | |
| open Fake.IO | |
| open Fake.IO.FileSystemOperators | |
| open Fake.IO.Globbing.Operators | |
| open BlackFox.CommandLine |
| /* | |
| * manips.h: | |
| * | |
| */ | |
| #pragma once | |
| #ifndef manips_h__f1fd7c75_0593_40cb_9c6b_848e2f1cd153 | |
| #define manips_h__f1fd7c75_0593_40cb_9c6b_848e2f1cd153 1 | |
| #include <iostream> | |
| #include <iomanip> |
| func genStruct() gopter.Gen { | |
| return genStrucType().FlatMap( | |
| func(arg interface{}) gopter.Gen { | |
| // typ := arg.(reflect.Type) | |
| // Q: How to construct a generator? | |
| return nil | |
| }, | |
| reflect.TypeOf((interface{})(nil)), | |
| ) | |
| } |
Go は吊しで testing/quick を property based testing 用に持っているけど、チト薄い感じだったので gopter を試す…
gopter（というか property based testing） の基本は、値の generator が作った値を不変条件を表す関数に流し込んで OK/NG を判定する事。値の生成は gopter がよしなにやってくれる（generator で頑張れば、失敗した後に失敗した事例の絞り込み（property test 界隈では Shrinking と呼称される）も出来る）
// Borrowed from official gopter documentation.
func TestSqrt(t *testing.T) {
// Property holder
| --- | |
| Checks: 'clang-diagnostic-*,clang-analyzer-*,modernize-*,performance-*,readability-*' | |
| WarningsAsErrors: '' | |
| HeaderFilterRegex: '' | |
| AnalyzeTemporaryDtors: true | |
| CheckOptions: | |
| - key: google-readability-braces-around-statements.ShortStatementLines | |
| value: '1' | |
| - key: google-readability-function-size.StatementThreshold | |
| value: '800' |