PragProg Customers

Property-Based Testing with PropEr, Erlang, and Elixir: Question 6 (page 417)

rustkas

rustkas

Property-Based Testing with PropEr, Erlang, and Elixir: Question 6 (page 417)

Chapter 4
Question 6

I implemented property and even tried to make an example more interesting and I would like to improve my realization.

Please, explain me, how could I use the PropEr API to delete a temporary file after performing all tests? I have not yet learned to use it to fully. In EUnit tests for this there are functions like setup and teardown (a sort of). How is this function in PropEr implemented? Could you demonstrate the work of such functionality?

I note also that when I replaced '$call' to call (I would check Symbolic Calls works too and found strange behavior - symbolic calls are not called (when I run property). Please, tell me, where is my mistake. (link to Symbolic call project)

View thread on forum
#question/book-property-based-testing-with-proper-erlang-and-elixir
0 687 0

Popular Prag Prog topics Top

yulkin
PragProg Customers

Programming Flutter: Image.toByteData() does not exist (page40)
your book suggests to use Image.toByteData() to convert image to bytes, however I get the following error: "the getter ‘toByteData’ isn’t...
/book-programming-flutter#question
1 4033 2
New
Alexandr
PragProg Customers

Programming Machine Learning: Incorrect formula
Hi everyone! There is an error on the page 71 in the book “Programming machine learning from coding to depp learning” P. Perrotta. You c...
#errata/book-programming-machine-learning
5 1334 4
New
Chrichton
PragProg Customers

Programming Phoenix LiveView: B03 (page 56-57) auth exercise
Dear Sophie. I tried to do the “Authorization” exercise and have two questions: When trying to plug in an email-service, I found the ...
#question/book-programming-phoenix-liveview
1 1178 3
New
jskubick
PragProg Customers

Kotlin and Android Development featuring Jetpack: $kotlin_version ? (page 8)
I’m running Android Studio “Arctic Fox” 2020.3.1 Patch 2, and I’m embarrassed to admit that I only made it to page 8 before running into ...
#errata/book-kotlin-and-android-development-featuring-jetpack
0 1695 3
New
jskubick
PragProg Customers

Kotlin and Android Development featuring Jetpack: SwitchCompat's thumbTint and trackTint being ignored (page 76)
I think I might have found a problem involving SwitchCompat, thumbTint, and trackTint. As entered, the SwitchCompat changes color to hol...
#errata/book-kotlin-and-android-development-featuring-jetpack
0 2600 2
New
oaklandgit
PragProg Customers

Hands-on Rust: Failed to Load Texture error (page 121)
Hi, I completed chapter 6 but am getting the following error when running: thread 'main' panicked at 'Failed to load texture: IoError(O...
/book-hands-on-rust
2 1302 3
New
jwandekoken
PragProg Customers

Programming Phoenix LiveView: Live Upload Match Error
Book: Programming Phoenix LiveView, page 142 (157/378), file lib/pento_web/live/product_live/form_component.ex, in the function below: d...
#errata/book-programming-phoenix-liveview
7 1151 10
New
tkhobbes
PragProg Customers

Modern Front-End Development for Rails - application does not start after run bin/setup (page xviii)
After some hassle, I was able to finally run bin/setup, now I have started the rails server but I get this error message right when I vis...
#errata/book-modern-front-end-development-for-rails
0 1460 5
New
redconfetti
PragProg Customers

Docker for Rails Developers - 'docker-machine' command deprecated (page 156)
Docker-Machine became part of the Docker Toolbox, which was deprecated in 2020, long after Docker Desktop supported Docker Engine nativel...
/book-docker-for-rails-developers#suggestion
0 893 0
New
SlowburnAZ
PragProg Customers

Machine Learning in Elixir:Error installing EXLA dependency - Page 25
Getting an error when installing the dependencies at the start of this chapter: could not compile dependency :exla, "mix compile" failed...
/book-machine-learning-in-elixir#errata
1 1043 10
New

Other popular topics Top

AstonJ
General Dev Chat

Best chairs for developers?
What chair do you have while working… and why? Is there a ‘best’ type of chair or working position for developers?
#workspace#opinions
74 4637 41
New
dasdom
General Dev Chat

Standing Desks
No chair. I have a standing desk. This post was split into a dedicated thread from our thread about chairs :slight_smile:
#workspace#opinions
177 8408 77
New
AstonJ
Code Editors

Poll: Which code editor do you use?
You might be thinking we should just ask who’s not using VSCode :joy: however there are some new additions in the space that might give V...
#polls#code-editors/vim/emacs/vscode#notepad/sublime-text#atom/textmate#codespaces#brackets#community/onivim#geany
105 4399 50
New
DevotionGeo
Code Editors

Dendron: a personal knowledge management tool on top of VSCode
/vscode#visual-studio-code
28 5670 9
New
DevotionGeo
General Dev Chat

The V Programming Language
The V Programming Language Simple language for building maintainable programs V is already mentioned couple of times in the forum, but I...
#programminguages/v
21 10832 7
New
Margaret
General Dev Chat

PragProg’s Medium Posts
Hello everyone! This thread is to tell you about what authors from The Pragmatic Bookshelf are writing on Medium.
#pragprog#blog-post
1122 25133 743
New
gagan7995
Backend Developer Forum>Questions/Help

Please tell me how to write a query for this in nodejs
API 4 Path: /user/following/ Method: GET Description: Returns the list of all names of people whom the user follows Response [ { ...
/nodejs
7 2839 3
New
PragmaticBookshelf
In The Spotlight

Spotlight: VM Brasseur (Author) Interview and AMA!
Author Spotlight: VM Brasseur @vmbrasseur We have a treat for you today! We turn the spotlight onto Open Source as we sit down with V...
#author-spotlight/book-forge-your-future-with-open-source
16 3805 11
New
First poster: bot
In The News

Zig now has built-in HTTP server and client in std
zig/http.zig at 7cf2cbb33ef34c1d211135f56d30fe23b6cacd42 · ziglang/zig. General-purpose programming language and toolchain for maintaini...
github.com
/zig#http
0 2435 0
New
CommunityNews
In The News

X can’t stop spread of explicit, fake AI Taylor Swift images
Will Swifties’ war on AI fakes spark a deepfake porn reckoning?
arstechnica.com
/swift
0 5645 0
New
Back to top

Latest in PragProg

The Definitive ANTLR 4 Reference: Build-in types commented ;-) as user-defined types (Page 66)
PragProg Customers
The Definitive ANTLR 4 Reference: No download link provided for TestEnum2.java (Page 197)
PragProg Customers
Build Websites with Hugo: Using with recent Hugo versions
PragProg Customers
Hotwire Native for Rails Developers: how can i hide a tab bar? (page 76)
PragProg Customers
Ash Framework: Incorrect return of {:ok, ...} for bang (!) function (page 20)
PragProg Customers
Powerful Command-Line Applications in Go: ListAction example missing args (page 241)
PragProg Customers
Agile Web Development with Rails 8_B6.0(page 148)
PragProg Customers
Advanced Hands-on Rust: Workspace Dependencies (B4.0 page 41)
PragProg Customers
Agile Web Development with Rails 8_B6.0(page 139)
PragProg Customers
Effective Haskell: duplicate extension (page xx)
PragProg Customers
Agile Web Development with Rails 8_B6.0(page 126)
PragProg Customers
Hotwire Native for Rails Developers: env.local? true -> false (page 237)
PragProg Customers
Kotlin Coroutine Confidence: error handling suggestion (page 43) (Solved)
PragProg Customers
Kotlin Coroutine Confidence: misleading image or text (p 20ish)
PragProg Customers
Kotlin Coroutine Confidence: not using kotlin style builder pattern (page 19ish)
PragProg Customers
Kotlin Coroutine Confidence: TimerApplication: won't app finish before timer?
PragProg Customers
Real-World Event Sourcing: duplicated paragraph (p. 30)
PragProg Customers
Agile Web Development with Rails 8_B6.0 "headless_chrome" related (page 189)
PragProg Customers
Real World Event Sourcing: typo, data elided for readability (p. 32)
PragProg Customers
I cannot download PDF versions of two books I purchased
PragProg Customers

View all threads ❯

Latest (all)

AssemblyScript v0.27.36 released!
Frontend News
Deno v2.2.11 released!
Frontend News
Django Admin Theme Roundup 2025
Backend News
Haskell: GHC 9.10.2-rc1 is now available
Backend News
All-in-Memory Stochastic Computing using ReRAM
In The News
AMP and why emails are not (and should never be) interactive
In The News
Microsoft’s “1‑bit” AI model runs on a CPU only, while matching larger systems
In The News
Antithesis driven testing
In The News
Atypography | art movement
In The News
Good-karma-kit
In The News
15,000 lines of verified cryptography now in Python
In The News
The many fallacies of 'AI won't take your job, but someone using AI will'
Industry & Culture
Procedural Textures with Hash Functions
In The News
Size matter (in PostgreSQL)
In The News
Django: See you at PyCon US in Pittsburgh!
Backend News

View all threads ❯

We ❤️ helpful members!

We reward our most helpful members via our MOTM scheme - by giving away a whopping 25 books per year!

Member of the Month

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that'll move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

Categories:

Popular Portals

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that'll move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

We're in Beta

About us Mission Statement See our Roadmap